Lekcja: "Logika, algebra Boole`a, arytmetyka cyfrowa - część II"
p
q
pq
0
0
0
0
1
0
1
0
0
1
1
1
Tablica prawdy
Symbol koniunkcji jako bramki logicznej
Bramka AND (koniunkcja)
Koniunkcja to zdanie złożone mające postać p i q, gdziep, q są zdaniami. W rachunku zdań koniunkcję zapisuje się symbolicznie jako:pq.
Przez koniunkcję rozumie się też zdanie mające postać p(1) i ... i p(n). Koniunkcję można zdefiniować precyzyjniej jako dwuargumentowe działanie określone w zbiorze zdań, które zdaniom p, q przyporządkowuje zdanie p i q
Działanie to pozostaje w ścisłym związku z działaniem przekroju zbiorów. Dlatego zdanie utworzone z innych zdań za pomocą koniunkcji jest też nazywane iloczynem logicznym. Koniunkcję zdań uznaje się za prawdziwą wtedy i tylko wtedy, gdy oba zdania p, q są prawdziwe.